Math: really install deprecated headers.

Dammit. Sorry about this :-)