Merge fix from debian build machine.
authorJennifer Richards <jennifer@painless-security.com>
Thu, 17 Nov 2016 16:12:29 +0000 (11:12 -0500)
committerJennifer Richards <jennifer@painless-security.com>
Thu, 17 Nov 2016 16:12:29 +0000 (11:12 -0500)

Trivial merge