Attempting to fix Travis-CI Apt bug