php: no more detecting mysql, using mysqlnd instead