Should startup.msl really be required?

[jfschaefer]

I tried to set up the kernel. During the configuration, I had the problem that I don't have a startup.msl file, which appears to be necessary.

Without the file, I get the following error, which prevents the kernel from launching:

[I 15:06:12.044 NotebookApp] Creating new notebook in 
[I 15:06:12.911 NotebookApp] Kernel started: 62334c33-e208-4584-aa20-8a10e8c2fcef
Argument /home/jfs/MMT/deploy/startup.msl cannot be used: /home/jfs/MMT/deploy/startup.msl is not a file.

Creating an empty file there solves the problem.

Since the meaning of the startup.msl file is not clear to every user and it doesn't seem to be generated for everyone by default, I suggest to make it optional (and make that clear in configure).