Update debian.ini

Check for python dev