Added options for linux64.