Package name for debian changed