Update ubuntu-13.10.cfg