avoid looking at errno for short read_in_full() returns