Github bug fix part 1

Github doesn't change the case when renaming.  So, two more steps are
quired