new Opera extension and makefile