bugfix for current php versions