That way, when looking at Makefile.global, we don't get confused by the
comment that claims that this is Makefile.global.in.