It seems that your example of bijection  that sends one Cantor set with positive measure to an other Cantor set with zero measure can be made $C^\infty$. 

Am I missing something?