Thank you @fomightez for your kind suggestion.
I tried to add the start
file that sets LD_LIBRARY_PATH…
…and it worked!
IMHO, though, the proper solution should be fixing repo2docker. I’ll add an issue later.
Issues · jupyterhub/repo2docker · GitHub .