Minor fix in binary packaging