Forgot DESTDIR in last commit