tries out fixes for php 5.4.35