ie_ext/gen_bhoversion_rc: Add DESTINATION arg