Hi!
Sorry, I was outdated by a week… 
The commit seems to remove it. I don’t know whether it will be in the .so on master, but I would have doubts.
But you might be able to get it with pytorch 0.2.
Best regards
Thomas

  
      github.com/pytorch/pytorch
  
  
      
    
  


  Merge commit 'e4c05c2b5f3dbc121c0cf4bb78d15540412dcd3c'




  by soumith
  on 11:37AM - 25 Aug 17



  changed 12 files
  with 1644 additions
  and 927 deletions.