take MIG-gen stub-files out