small update to accomodate linux distributions with default prefix /usr/local rather than /usr
small update to accomodate linux distributions with default prefix /usr/local rather than /usr

frePPLe/frePPLe,frePPLe/frePPLe,frePPLe/frePPLe,frePPLe/frePPLe,frePPLe/frePPLe,frePPLe/frePPLe