Rename the python development package to the correct name python-devel. Change-Id: I320b6ec08a1f7c8f8ee833cab86e7942653417f9