Fix precompilation error