Make git bash completion work under Ubuntu 12.10