oops -- missed some gsl headers that can be removed