changed PS1 theme to dieter; cleaned some files