Not needed anymore as PHP5.3 is not supported