Remove mysql, as it appears that it has been merged into the main PHP package