improved sanity-checks and enabled travis-builds