make actually work for real, and with python3 support