fix version provided for the extension list

fix version provided for the extension list. This fixed my problems while testing SMT