make sure file is always immediately compiled if it was gotten via a GUI action and not via an edit