Fixed bad patch of supertux.desktop in last commit