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