make rendering ./F as on other platforms