Debian 7 build fixes