Or you can use the Render Button script. Not only it brings back those options but also adds other useful features.