deb: update for latest MySQL on Ubuntu 12.04