Fixed what I assume to be a typo.
Makes the install work on debian 7.3