Fix some config issues wrt Kokkos

Fixed these issues:

• make clean could not remove ex3k etc;