K 10 svn:author V 4 tijl K 8 svn:date V 27 2013-06-10T08:39:14.753324Z K 7 svn:log V 87 Append per arch defaults directly to OPTIONS_DEFAULT. Duplicates are eliminated later. END