Bump folly to 4:0