patch for ubuntu >=13.04
Merge pull request #14 from soumith/master

patch for ubuntu >=13.04