INSTALL: The default prefix can be a problem

Provide workarounds.