Use patched rs.js (fixes #30)