change to github because of nice integration with Travis CI