Github is apparently sensitive to file extension casing