Removed minibuffer-test.scm from running tests (didn't have time to fix
it); building PDFs should be improved; removed dependency on latex file
not in repository; changed default of --enable-line-pragma to 'no'.
Make distcheck works on GNU/Linux.