add required-core-version field to info.rkt