fix definition files
fix types