Fixing PHP 5.3.3 and disabled other builds in the meantime