Remove PHP 5.3.3, there is a separate issue for this.