Restored file renaming to .native extension.
Compiled code are now installed along with stdlib's .vo files.