Undo two parts of previous changes since there is apparently a script
(update_parameters.sh) that does these transformations automatically.