Fix: Configuration of the Travis-CI