Add debian7x64 definition