trying to get dasein test suite to run