diff --git a/Makefile.in b/Makefile.in
index 9aef78a13..a24bb823d 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -361,6 +361,7 @@ install-python: $(BIN_DIR)/lib$(Z3).@SO_EXT@
 	@cp python/z3tactics.pyc $(PYTHON_PACKAGE_DIR)
 	@cp python/z3printer.pyc $(PYTHON_PACKAGE_DIR)
 	@cp $(BIN_DIR)/lib$(Z3).@SO_EXT@ $(PYTHON_PACKAGE_DIR)
+	@if python python/z3test.py; then echo "Z3Py was successfully installed."; else echo "Failed to execute Z3Py regressions..."; exit 1; fi
 
 uninstall-python: 
 	@if test $(HAS_PYTHON) -eq 0; then echo "Python is not available in your system."; exit 1; fi
diff --git a/python/z3test.py b/python/z3test.py
index b57fa89dd..9b894d7ad 100644
--- a/python/z3test.py
+++ b/python/z3test.py
@@ -1,9 +1,6 @@
 import z3, doctest
-import sys, re
 
-if re.compile("64 bit").search(sys.version):
-    z3.init("..\\x64\\external_64\\z3.dll")
-else:
-    z3.init("..\\external\\z3.dll")
-    
-doctest.testmod(z3)
+r = doctest.testmod(z3)
+if r.failed != 0:
+    exit(1)
+