Deletes some 'paranoic code'(tools.wsf)