Remove temp file accidentally added in commit 8ac5ce8d2.