php5-mysql in travis-ci