bad_guy vs. player collision fixes.
[supertux.git] / install-sh