Renaming 5 flag files due to very weird naming conventions, which do not even apply in IntelliJ :-o