workaround for possible bug in mono