2018-04-27 18:30 GMT+02:00 Pierre Neidhardt <ambrevar@gmail.com>:

>
> I've run into the same issue.  After a `make clean` it did build properly
> though.
>

yes, thanks