get rid of old options source, recompile extension