Fixed issue #16: Making 'stopexecutable' really optional.