F3-port: bugfix, make orone_mini_F3 work with new nosymlink build system