small openmptdec updates