I encountered a few bugs, and I really want to get them fixed...
First item is a tweaked trampoline.cpp file that doesn't automatically change sprites when set to portable or not...
a side effect is that you now have to change the sprite manually...
https://github.com/SuperTux/supertux/issues/1342
...But it should hopefully fix this issue...