Fix a problem with the deps/gsl folder