Use Python 3 on Arch Linux