Implement workaround for flex --header-file option