Temporary fix for HEAD of folly