pingus: fix warning / supertux update to 0.5.0 stable #15

Closed schnitzeltony closed 8 years ago