Correct use of DESTDIR. PREFIX is still used.