fix issues choosing TIPC and tipcconfig