Fix "original" SDK extension