Remove deprecated Options.module_name, fixes #130