amigadave pushed to supertux (rawhide). "Add build fix (..more)"