fix various issues in ci and dialyzer