Setup for Debian 7 machines