Avoid cleaning buildtmp for make clean. Causes subsequent make to fail.