#4109: Added test to velvet Makefile: just invokes each velvet binary to see if runs