Added local-gsl for ubuntu-12.04.