removed obsolete ard-lib-inst.py