rename file to get make happy