The Node.js I thought I had updated was actually still running an old version. The cause was that there were three versions ...