K 10 svn:author V 4 bapt K 8 svn:date V 27 2015-06-27T12:01:30.092936Z K 7 svn:log V 92 Remove the SH overwrite which is not needed since CONFIGURE_ENV does the proper job already END