Fix bug in RegFile.fromMsgpack