Added gcc >= 4.8 to debian deps