actually get rid of hyperref from environment.tex