Patch for config.rkt now updated
Merge branch '593e953'