Adjust travis CI configuration

The build failed previously because the configure script isn't stored
in the repository.