Roll forward to modern Ubuntu again; support MySQL 5.5.