debian gcc produces hello*