work around "info.rkt" coflicts for v5.3.6