Mystery fix for finding Boost on Linux.