generate_options_header_file.sh: /bin/bash -> /usr/bin/env sh
generate_options_header_file.sh: /bin/bash -> /usr/bin/env sh

electronic-structure/sirius,electronic-structure/sirius,toxa81/sirius,toxa81/sirius,electronic-structure/sirius,toxa81/sirius,electronic-structure/sirius,toxa81/sirius,toxa81/sirius,electronic-structure/sirius,electronic-structure/sirius,toxa81/sirius,electronic-structure/sirius