Remove php 5.3 incompatible code