make us use java 1.6 bytecode, for debian compatibility