Removing old long filename github doesn't like
Adding new shorter names that github likes