added imports to make GDC happy