14.04 is out, so PHP 5.5 is there already