this should fix edx/configuration#1117