How to override the default MySQL wait_timeout setting