travis-CI: configure needs to be generated