added make jasmin target; rmjasmin not yet idempotent