mike-theme - Remove uneeded files