Update MANUAL: Debian boost package is called libboost-dev