Use apt-get instead of install boost manually