[minor][quick fix] "git pull" of "lib" before going sudo

[wildcat_paris]

hello,

 

I would suggest a quick fix of "compile.sh" to do the "git pull" of "lib" before sudo

 

why? because .git/FETCH_HEAD file turns owned by root.root

 

& zador.blood.stain has tried to limit being "root" all the time in the VM

[borsti67]

I have added this:

chown -R $SUDO_USER:$SUDO_USER $SRC

at the end of compile.sh because I don't need ANY files owned by root...