Add PHP5.3 hacks