move variable to OpamGlobals