fix error in precompilation