Default to archive install_type for Ubuntu 12.04