handling another corner case, on linux this time