fix mexprintfs for linux