Apparently GitHub is case-sensitive for file names.