Allowing mysql setup to use custom options file