Removed BNFC as the github repo doesn't exist anymore