I am having trouble config'ing a new kernel. I have compiled and installed a 
new config binary as well as updated /usr/share/mk. It fails with the 
following message:

# config RISCPC 
config: error removing tmp_rnd.h: No such file or directory
*** Stop.

If I re-run the config without removing the compile/RISCPC directory 
it fails as follows: 
*** Stop.

# config RISCPC
config: error removing tmp_ipkdb.h: No such file or directory
*** Stop.

A third retry yeilds:
# config RISCPC
config: error removing tmp_ipkdbslip.h: No such file or directory

Further repetitions produce the same result.

Any suggestions/fixes?

Mike