tasyagle-install: workaround to reload .bashrc works, can now compile docs in one go