I installed python2.5-dev from the terminal (sudo apt-get) and now everything appears to be working. Perhaps the dependencies on SymPy still aren't correctly being handled?