Same comment as before: change "precompiled" to "compiled."