I believe remember that the source code of Pushbox has some bugs. It differs a bit from version wrapped.
I still work on this project, I changed the gameplay and I add him an level editor.