Fix #763
Changed echo to correct build options for linux