Modified setup.py to make it work with the most recent version of
libboost.