fix "clean" target (resolves debian bug 756524)