Modification exec.c
Merge branch 'dev' of https://github.com/bloodmaker/Pinoccio into dev