Change: allow run.def long names (up to the input char). Previouly 80 characters max. Clean: include defprec as IOIPSL module.