bininstall: works for PREFIX directories with spaces