Issue #80: can't file libboost