Provide version for ubuntu 12.10