making PREFIX overridable, but still /usr/local by default