Upgrade build scripts to Debian 7.2