Ubuntu 13.04 build issues