Is the #!/usr/bin/env python bit necessary?  We don't have any of this in the crest code.