work around travis using non-debian Python by default