auxiliary bash script for debugging