@wfeldt which one is used by Linuxrc? I'd do it the same way here to be compatible.