Oops, somehow .gitignore didn't catch the "bin" folder. It's properly deleted now, I hope.