* MigrateHeaders.make: Fixed a double slash in