A better version of file_read