bempp is installed to ~/bempp