ubuntu precise install virtuoso with aptitutde not dpkg