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.