fix make examples option