/gnu/store/bax934lc09wxaqghkdx5r8qgydiqvm2v-jikes-1.22.drv