fix PHP installation appears to be missing the MySQL extension