If the environment trick works, you should keep the default to `$CEYLON_HOME`, as it's useful to define.