split vaban into multiple source files