Compiler: Delete map file when suitable.

Fixes #844.