Broken installation of libdts.a

As of a166c47a, libdts.a is broken. Please revert that commit. It was fine before.