[Matita] HSql Error when Installing Matita from Source

[Christopher Schwaab]

I'm creating an archlinux pkgbuild and after some work I've almost been able 
to install matita-0.5.7 from source.

Doing 'make -j1 install' results in the error:

make -C matita install-indep 
DESTDIR=/usr/home/chris/Desktop/matita/src/matita-0.5.7//home/chris/Desktop/matita/pkg
make[1]: Entering directory 
`/usr/home/chris/Desktop/matita/src/matita-0.5.7/matita'
depend
publish
Fatal error: exception HSql.Error("Not_found")
make[1]: *** [dist_library] Error 2
make[1]: Leaving directory 
`/usr/home/chris/Desktop/matita/src/matita-0.5.7/matita'
make: *** [rec at install-indep@matita] Error 2

I've created a matita database with the following privileges for helm:
 mysql> show grants for 'helm'@'localhost';
+----------------------------------------------------------+
| Grants for helm at localhost                                |
+----------------------------------------------------------+
| GRANT USAGE ON *.* TO 'helm'@'localhost'                 |
| GRANT ALL PRIVILEGES ON `matita`.* TO 'helm'@'localhost' |
+----------------------------------------------------------+

My installation goes:
./configure --with-runtime-dir=/opt/matita
make -j1 world || return 1
make -j1 DESTDIR=$pkgdir install || return 1

Have I missed a step?
Thanks.
- Chris