use double dash in options according to version