Fix #3: Build failure on Linux.