Fix linking problem on Linux.