get_df.sh: Whoops, [[ isn't POSIX.