fix installation failed in case of no built-in tipc module installed