bugfix mysql options