am 13d71d33: am 2bf953a9: Merge "resolved conflicts for merge of a6405e9d to jb-mr1-dev" into jb-mr1-dev

* commit '13d71d332cbfe9f91f5b91d105f594c07c94ef26':
  libcorkscrew: avoid future name collisions.