Fix the TravelShark Python toolchain file name