moved libffi-dev from install-12.04.sh to debian/control