MWEB-956

why this is not in a separate file?
plus
you have options defined somewhere else
but they are not used