Change the shebang of configure_ubuntu.sh from sh to bash

because the script it's using the bash only variable BASH_SOURCE

scripts/configure_ubuntu.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Assumes a somewhat recent 64-bit ubuntu