added build for ubuntu 13.10