gsl used to depend on camlp4

It still does, but it used to, too.