Some fixes, and add dotfiles