We need to find a way to have Kokkos available everywhere, maybe through automatic download or as a sub project.