jesh compilation