This will help packaging tremendously, as a `make DESTDIR=… install` will now
put every file at their place (on Linux and related).