Fix build for Ubuntu 13.10