if only `make install` fails, we might move this command after the `system "make"` step.