Formula for fplll

Do this before `make install`