Fix default PREFIX=/usr/local
Fix default PREFIX=/usr/local

The previous value is bogus and causes wrong path entries in the
form of /usr/local/bin/bin and /usr/local/bin/share.

orifs/ori,orifs/ori,orifs/ori,orifs/ori