K 10 svn:author V 6 amdmi3 K 8 svn:date V 27 2016-03-03T16:34:37.077316Z K 7 svn:log V 61 - Remove unneeded CONFIGURE_ARGS - Switch to options helpers END