Windows: Make DESTDIR work