Fixed build problem under Ubuntu 13.04.