small changes in <F12> compile behavior