Actually fix molokai color theme