dropped usage of configure_ubuntu_12.04.sh