make muclean -ggg produce smaller files