Remove some temp files that snuck in from 04dfbe8bb952e78cb872cc15cba307908d35d08f per #393.