commit c98d02501162fc57ad4ec705234596a63c07a26b
Author: Roy Buitenhuis <roy.buitenhuis94@gmail.com>
Date:   Mon Apr 30 22:53:31 2018 +0200

    Building failed on ubuntu 18.04 using jhbuild. Couldn't find /usr/bin/bash, as bash resides in /bin for my installation.

diff --git a/build-aux/post-install.sh b/build-aux/post-install.sh
index 40aab7422..9f82addaa 100644
--- a/build-aux/post-install.sh
+++ b/build-aux/post-install.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/bash
+#!/usr/bin/env bash
 
 libdir="$1"
 binary_version="$2"
