Fix Ubuntu 13.04 build