change default mysql library on ubuntu