Fix under Linux too.