chiark / gitweb /
fix compilation error with 'PathSpec redefined'