fixed: linux installation with a DESTDIR