Adapt to Ubuntu 13.10