Fix problem with precompilation