Make sure we are PHP 5.3 compatible