configs: rename some stuff

Signed-off-by: Rohan Mathur <rohanmathur34@gmail.com>