Add a warning about PHP 5.3.16 too