workaround of redcarpet issue on jenkins rvm