Ok, but that's a different discussion. Imo they should not have the build configured in this case.

I'll implement this and push.