update extempore-mode config: rename stdlib file