Fixed python extension names