build/src/drygascon128_riscv32e.o: src/drygascon128_riscv32e.S