Cleanup destdir/no tex bits