One more Linux fix.