debian 7 build fixes