fix #56
Merge branch 'master' of https://github.com/SDIS62/prevarisc
fix #67