Removed another spurious dotfile