Fix php 53 support