debian/OPTIONS