Revert "remove spurious paths"

This reverts commit ff1c5f278023036a591a60641a18beb1378071be.