Don't try CEYLON_HOME as the second option, because it's almost never any good (see https://github.com/ceylon/ceylon-lang.org/pull/246)