Yet another attempt to fix precompilation error