Fixed build problem on Ubuntu 13.04