GitLab

Instead of passing all parameters using the command line, we write them
first into a file and then pass the filename to the end-to-end
framework.