Added Rubin's workaround for wrong dx reg allocation (issue #24)