fix linking against libhotspin.so (thanks to Theo Diekmann)