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