Fixing boost search on some platforms