solving compilation problems, and adding new colortheme