use python3 as default