Various bash, Python, gdb & benchmarking tricks