tree 0e52e42377449587a6850d8f2275bf6b31ed198a
parent dc1956e2efed951b9cfaa64109956707859c0573
author gnzlbg <gonzalobg88@gmail.com> 1523796600 +0200
committer gnzlbg <gonzalobg88@gmail.com> 1523796600 +0200

fix this for stdbuild only