fix disabling of GSL