- Make arc-path passed to the kernel look a bit more correct (still a hack of course)