Really implement compile-or-recompile