Note that we are using Travis-CI now.