debian: added missing boost devel packages