Fix install target in Makefile after 6acf543800fe176ca7d47ef7165ebc14588efb6f.

Should decrease the noise level in the bench.