adding ubuntu-12.10 support