Use Debian 7 as a development VM