Unfortunately, this seems to be an issue with the software itself. (This in fact affects many sites using the same software.)
The solution would be to downgrade to PHP 5.3 but that does not seem to be an option here.
So, I guess the software would have to be considered not supported.
Edit: you...