GLPK got removed
Forget to remove glpk from deps
Reinstate nginx as optdep

Currently the launch binary got reincluded. Only works with nginx
Merged