deb: update for latest MySQL on Ubuntu 12.04 (precise)