Fix typo in debian 7 test