Drobné dodatečné úpravy související s nasazením MAVEN jako překladače