make our bash invocations more portable