remove shrunk banner.png because it's not as good-looking