Fixed package definition in stage-2. Simplified 'thaw' translation.