Enable gsl in the config script