Include SemanticMediaWiki by default