Building [fleXive] from source

This procedure is for those building [fleXive] from the source code.