Fix apt-get installation command. Fixes #378.