[rwth-security] MySQL client allows MySQL server to request any local file