dcrinstall: Update for dexc -> bisonw rename #242

Closed jrick closed 3 weeks ago