shell: set INFOPATH properly