Very very small fix in savanna.py for Ubuntu 12.04

Change-Id: If7ad5c9ba45b8f9161c7b90d6bd7a84f60584915