Install python-dev on CI machine.