php 5.6 fix