[rwth-unix-admin] Improving SymQEMU