makefiles: use variable to point to ivory repo with sensible default