Use PREFIX, not DESTDIR