Fix for change in OpamGlobals.msg