Extending JENKINGS_ARGS when adding prefix to Jenkins configuration file during Jenkins install