now compiles under ubuntu 13.10