INSTALL: add information on the environment variable BUILDFILE