From b4225af8ee3de9ade543cf670210cdf929ec9eef Mon Sep 17 00:00:00 2001
From: Milan Oberkirch <oberkirm@informatik.uni-freiburg.de>
Date: Wed, 5 Jun 2013 13:14:27 +0200
Subject: [PATCH] Set dependency 'python' to 'python3'.