K 10 svn:author V 6 adrian K 8 svn:date V 27 2010-07-12T11:31:13.842120Z K 7 svn:log V 118 An evil, temporary workaround (which should likely be a typedef!) so I can keep the linux ini file untouched for now. END