correct mysql-php package name