#!/bin/bash
# A dummy script just to make sure things are flushed