Recompiling if several more files have changed too. Refactoring the
menu.