Modify for build on Ubuntu 13.10