Add definition for Debian 7.1.0 box