Is this a leftover? In this case, can we remove this line to keep the makefile clean?