changes for tinyOSF update