Allow Makefile to work if the "timeout" binary is not available
Merge pull request #1210 from milkypostman/timeout-makefile-fix

Allow Makefile to work if the "timeout" binary is not available