I will remove this port soon, but let's keep the build fix in version control. Perhaps it's useful for someone.