Hi Pierre,
Currently,#file is intended for RTL32.inc and RTL64.inc only. Independent binary mode is the only one available for compiled files, so I will ensure it is always set
From Oxide, compilation is performed with co2 -r ... which will only execute when the compilation is error-free.