Linux logo does not need to be so big