Fix debian7 build failures