Install python-dev in linux.sh