New comment by ProjectMoon on void-packages repository

https://github.com/void-linux/void-packages/pull/23907#issuecomment-670190454

Comment:
It seems they changed the directory name in between 1.7.2 and 1.7.3.