Fix the controllib test_params build.
Add a top-level mathlib header to avoid having to dig around for specific headers.