Remove unused boost header