fix build after breakage in r9544