the problem is fixed: a colleague proposed to uninstall julia and install another version, which solved the problem.