Minor change with which interpreter Linux uses (python 2->3)