On 2017-06-10 00:34, Seb wrote: > Don't worry about that. It's just a computer. As a temporary workaround, > docker might be worth considering. Wow. Just modify the Makefile. -- /Jacob Carlborg