fix Exec format error