Add boost to debian install