Use mysql-pr instead of mysql