fix precompiled filename