libc_s7.so is special in the repl case because repl can't run (as a repl) if it can't find it; the other *.so files are optional. Ideally the libc dependencies would be built into repl.c, like they are in nrepl.c. I'll add the .repl business to repl.scm.