disable boost deps for the moment

Authored by cgilles on Dec 4 2019, 8:18 AM.