added options.mk, to be able to some options