This needs proper fix. It wasn't noticed because it was created by pipe
before afd5eb1f and last command
succeeded, so make continued even if compilation failed.