chiark / gitweb /
Keep working when the platform stl is missing.