Bogus fix to make GitHub clones work OK.