"debug" option has been removed from .arclint