Re: [patch] fix gsl-config-pathname