make sure we use an int for the timeout - fixes #380