Only support PHP 5.3 (for now)