speck-path is now a command-line option