des.inc is not "free"