[PATCH] make INSTALL binary in Makefile configurable via make variable