Corrections so that code complies with nxtOSEK 2.18