Fix install directories on Mac OS (now that the "install" command
does the right thing).
1 file changed