83bb4d0f143dc5618917a35ed5e133e229c856d9  lesstif.configure