Make sure we can open a file for reading even when it is open for reading already.