rename file and update dialyzer magic