Fixed/detected messages are now sent to stderr (from Agda source.