fix strage tvmjit build issue (thanks François)