GNU Make: A Program for Directed Compilation