Make it work on my amd64 14.04 machine