Why can't I output a combination of three keys using AutoKey on Ubuntu 17.04?

Here's what I've done so far:

• mapped super + h to keyboard.send_keys("<ctrl>+<f4>"), works
• mapped super + h to keyboard.send_keys("<alt>+<f4>"), works
• mapped super + h to keyboard.send_keys("<ctrl>+<alt>+<f4>"), doesn't work

Incidentally, keyboard.send_key("<super>") doesn't work either. Not sure if that is related to the original issue or not.

Solution provided by xircon on Github

import pyautogui pyautogui.hotkey('ctrl', 'alt', 'F4')