Hi. Sorry if this is not the correct way to ask for an OS upgrade. OpenBSD 6.5 was released a few months ago and gcc220 is still running 6.4. Could you upgrade the system to the latest release?. For the openbsd.amsterdam people the upgrade would be quite quick. Thanks. -- Juan Francisco Cantero Hurtado http://juanfra.info