making it build on ubuntu 13.04