mentioned INSTALL in the TODO list