Use write instead of eprintf for RCons.{cup|mouse}