distrib/configure: Set RanlibCmd

Authored by bgamari on Nov 7 2018, 8:02 PM.