Pass proper to option to koremake.