Thanks, klausner, for posting your own answer here. This, plus most probably the the installation of the 32bit libs helped me to use my Brother HL-3040CN printer on Ubuntu 12.04 64bit.