--- configure.orig 2011-10-29 06:28:32.000000000 +0700 +++ configure 2012-06-08 12:59:49.000000000 +0700 @@ -3784,9 +3784,9 @@ docdir=$datadir/virtuoso/doc htmldocdir=$datadir/virtuoso/doc/html pdfdocdir=$datadir/virtuoso/doc/pdf - demodir=$localstatedir/lib/virtuoso/demo - dbdir=$localstatedir/lib/virtuoso/db - httprootdir=$localstatedir/lib/virtuoso/vsp + demodir=$localstatedir/virtuoso/demo + dbdir=$localstatedir/virtuoso/db + httprootdir=$localstatedir/virtuoso/vsp hostingdir=$libdir/virtuoso/hosting ;;