Actually fix the compilation