Remove unused Boost leftovers

Authored by vkrause on Sep 14 2017, 10:47 AM.