<div dir="ltr"><div class="gmail_extra">Well, I found something that works:</div><div class="gmail_extra"><br></div><div class="gmail_extra">LD_LIBRARY_PATH=/usr/local/lib ./myProgram.exe<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">I found this suggestion on Mantis, for running Ur/Web apps under Arch. </div><div class="gmail_extra"><br></div><div class="gmail_extra"><a href="http://www.impredicative.com/mantis/view.php?id=184">http://www.impredicative.com/mantis/view.php?id=184</a><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">I don't know why it would be needed in this case - where the local and remote machines are both Debian 8, and all files in usr/local/lib/ had been replicated from local to remote machine (using tar to preserve symlinks etc.).</div><div class="gmail_extra"><br></div><div class="gmail_extra">The LD_LIBRARY_PATH was empty on both local and remote machine before running the above (I checked using `printenv`).</div><div class="gmail_extra"><br></div><div class="gmail_extra">There's a bunch of other general suggestions online which I could look into later:</div><div class="gmail_extra"><br></div><div class="gmail_extra"><a href="https://www.google.com/?gws_rd=ssl#q=usr%2Flocal%2Flib+%22cannot+open+shared+object+file%22">https://www.google.com/?gws_rd=ssl#q=usr%2Flocal%2Flib+%22cannot+open+shared+object+file%22</a><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">(They didn't seem very applicable, because I couldn't get `ldconfig` to run on my Debian, and I couldn't install it with apt-get either.)</div><div class="gmail_extra"><br></div><div class="gmail_extra">I suspect something involving shared libraries probably gets configured during building and installing the Ur/Web compiler (which, recall, has *not* been done on this remote machine).</div><div class="gmail_extra"><br></div><div class="gmail_extra">###</div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div></div>