We are very sorry to see that this issue has not yet been resolved. As Mario has been held up far longer than expected due to 4.0-beta compatibility and launcher issues, I will do my best to take over the issue with highest priority. I will let you know once a bugfix is available, hopefully by the end of this week.
This issue has just been fixed on the 3.8 branch, you can pull the latest changes now. Please let us know if this fixes the problem for you as well. Thanks for reporting and sorry again for the very long delay!
