make dialyzer apps explicit