pushing precompilation