use do_open() instead of open() in several places to help the WinXX port