function config_apel_rgma () {
 echo "config_apel_rgma is disabled to avoid screwing up our custom APEL install."
 return 0
}
