maintenance: remove useless file