Fix boost compilation error with filesystem