Fix incorrect semiauto import in smoketests.py