Fix forgotten unfix
additional assert in BufferManager to detect invalid unlock
improve slottedTest to avoid need for deleting database files
Fix some redirection issues