Kostas - fixing travis?