This doesn't touch boost-openmpi-python and boost-mpich2-python, as those are broken anyway at the moment.