Fix compilation problem on Ubuntu

With this change, it compiles and runs on my Ubuntu 13.10.