#!/bin/bash
echo "foo 1.1 (pgi/18.4, mvapich/2.1)"
