Fix build for rustc ec28b4a6c