This commit replaces the command with a more generic one. Signed-off-by: Johannes Morgenroth <morgenroth@ibr.cs.tu-bs.de>