add -pedantic option