It should.  Can you show me what the output of this:

```
[[ $$(hostname) = garnet* ]] && echo "garnet.gnu" || python -c "import sys; print sys.platform"
```

Is on your system?  It should return `garnet.gnu` on Garnet and the normal platform reported by Python otherwise.  If it doesn't, I screwed up the execution logic there.