# constructed by wfs using: ./add-defs 386-linux    
# constructed by wfs using: ./add-defs 386-linux /usr/local   
# constructed by wfs using: ./add-defs 386-linux /usr/local   
# constructed by wfs using: ./add-defs 386-linux /usr/local   
