add to CREATE EXTENSIONs portion