Fix build system under Ubuntu 13.10