Small addition to the altro raw stream decoder in order to handle correctly altro...