Fix num processes for some Linux systems