Makefile helpers for hello-x86_64