Fix #128 to support different platform names.