Sometimes nodejs runs out of memory during the build of Theia.
See https://github.com/eclipse-theia/theia/issues/4132
This is in prevention of that issue.