ghci file necessary to run texture