Undo some accidental changes (linebreaks) to the makefile, according to git diff. Seems they diddn't actually have any effect, but better safe than sorry.