Extension modules listed after the *disabled* marker are not built at all,
neither by the Makefile nor by setup.py.