What should you do next after changing /etc/exports on a server, remote hosts are still unable to mount the exported directories?