Work around honcho's problem with python 2.7.9

Fixes #3025.