Makefile: list standalone program object files in PROGRAM_OBJS