rename ubuntu directory to ubuntu-12.04