specify different php versions on trusty and quantal