I just copied it from generate.fsx, so I don't know whether we should use newer one.