Build hello.elf with cmake