Use more sensible names for the different 4store kbs