For the record. It was indeed shown that some files from the previous compilation were indeed not removed. The solution is to change `quick_finalize' to only concatenate files specified in Makefile.SH since those are always correct. We could also avoid removing the F_code prior a finalization but still have an option to clean it up.