There seems to be an easy solution to this. The proprietary Nvidia
driver uses the kernel headers to perform its job (the specifics of
which I'm not quite clear on). Simply installing the new -pae kernel
headers solved this problem for me.
I'm not versed at all with the way packages are structured
Thank you Robert for the deb, this fixed my problem in the short term.
There was a bug fix in revtex that fixed some notorious issues (like
author affiliations not working properly). The package needs to reflect
the latest version of revtex.
--
revtex4-1 should be upgraded to bugfix release on