Make mysql library optional