Fixes #3: Change to account for new basex dir
Also change way basex modules are installed.