More updates on Travis-CI and quieter bootstrap