Change the directory name to BNFC