Fix compilation with precompiled headers