re-fixed (after git revert) the link problem with boost libraries