Use a python3 compatible exec