DESTDIR=/opt/hallowelt ninja install