ben_alman: make install is pretty fast if you don't have to recompile