Compilation on demand