added bugfix to mysql docker file