patmos: bug in mfsmts