Sven Kohler: fix DESTDIR stuff
1 file changed