got rid of apt-get boost