makefiles: Avoid adding the same source multiple times.