chiark / gitweb /
util: do not strip /dev prefix twice