"Fix" #2; apparently the symbols are not visible, but the library is...