Fix build on hrev47723