Merge pull request #1002 from ranma42/make-check-no-install