now compiles using extension.out