Leider ja. (NodeJS war in Version 8.x installiert. Durch mein oben beschriebenes Vorgehen ist jetzt 10.15.3 verfügbar.)