fix githubs stupid filenames