mira.3 is still broken, should use mira.4

Hey, we should include quantum packages too, please verify by comment.