Forgot to tell apt-get to install boost