Use correct Operating System name for district9