Build system fixes and improvements:
* `make clean' removes the pipes.
* Work around bugs in make (Debian #4073, #756123) affecting regress.
Build system fixes and improvements:
* `make clean' removes the pipes.
* Work around bugs in make (Debian #4073, #756123) affecting regress.