Configuring Travis-CI build