Bump PHP to 5.3.3 to fix travis