Update paths.rkt