Fix of bug in the profile Define tool.
Bug: the tool can't compute the version of the profile for the first
define/