added Ubuntu12.10