Thank you for doing that!
Tested it out and it works for the most part. Sometimes it crashes on level reset, and I don't hear any audio. Other than that it plays really smooth on Linux. Just a note, it might be helpful to some if you add a goal like this in the game:
Use your gun and multi-jump ability to navigate the level and take down the boss.