Fixing sandboxing#3

Open

thery wants to merge 3 commits intoholgerthies:masterfrom

Commits on Mar 19, 2020

restrict libraries
thery
committed

Commits on Mar 23, 2020

change makefile to avoid sandboxing
thery
committed

Commits on Mar 24, 2020

Merge branch 'master' into master
holgerthies
authored