Various changes to the amp extension to make it compatible with having previously installed mysql extension