pushing to github, fatal error in mazefile