added libffi-dev to debian/control