Fix installation due to file rename