remove utop files
tmp
simplify the error message handling
tmp