fix compatibility problem in __rvm_dotted awk flush handling, thanks @rys