core: Properly handle compilation disabled use cases

When a compilable file is modified in compilation-disabled mode, fake a
change in the corresponding output file — see source code comments for
explanation.

Greetings to CPJB for whom this change has been prioritized. :-)

Closes GH-16.