Fixed what I assume to be a typo.

Makes the install work on debian 7.3