Fixed Travis configuration for several tools