Hopefully fixed library name for Linux.