Fix: convertion of EXTENSIONS list into a set caused the extensions loading order to be not preseved