Fixing Travis build
Merge pull request #4 from AndreaGiardini/fixTravis

Fix Travis build