Just noticed this header used MAINFS_H, and standard for c++ is
to use the full name of the file, replacing any symbols with _. Let's fix this.