Make sure users setting `CEYLON_HOME` can't mess up the execution