re #6: Fix dependencies in Modulefile