Add KLTE Dependencies for now...