Getting rid of krpintfs.