Remove support or dev options for ubuntu 12.10 - not needed