Reverting to '/bin/sh' as @posix_shell@ does not seem to work.
fixing duplicate parameters
a bit of documentation
Merge pull request #14 from kreczko/fixes_for_GLUE_and_scheduling

A bit of documentation and a few fixes