re-precompiled