Thank you. Fixed and pushed.
Well, that file is part of the upstream repository. I personally am not a big fan of having build targets in the repository at all. I merely tried to mimic the existing habit. Being new to the community, I just try to fit in.
Thanks again for testing this.
Regards,
Jan