K 10 svn:author V 4 tijl K 8 svn:date V 27 2017-02-11T19:52:05.748700Z K 7 svn:log V 87 Allow building with linux-c7-devtools. Reported by: Stari Karp END