Switch our ports back to f10 linux emulation for 10.0.3