Normalize task names before saving options and, for DistUtilsTask, load options via short and full name. See github issue #129.