upgrade the installation scripts for >=Ubuntu12.10