Fix bug that clobbered various mediaflux settings