Sped up path manipulation, down to 9.2s
Sped up path manipulation, down to 9.2s

Signed-off-by: David Cock <5d58d56d4931c603692c452867e4ec6f0ace5d10@inf.ethz.ch>

kishoredbn/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,8l/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,8l/barrelfish,8l/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish