AmfExt adjustments to work with further versions of PHP