Updates files thanks to issues encountered when cross-compiling MRPT library