Options menu disappeared

Have a look at that possible workaround: