related to #132: cortex build: fix options.dist