K 10 svn:author V 7 zeising K 8 svn:date V 27 2019-11-05T16:26:23.422976Z K 7 svn:log V 95 Fix makefile Remove erroneous makefile that crept in in previous change. Pointy hat: zeising END