fix illegal filename when deploying on google app engine