I have no idea why this line in the makefile is necessary