synchronize with the rock osdeps