php: different php path for Ubuntu 14.04