debian: Explicitly require g++-4.8