Our logo didn't get properly renamed (on Linux) in a previous commit (from Windows).