Cleaner definition of non-Windows version of file_open().