Note PHP 5.4+ for cli-server